This book addresses the fundamentals of machine ethics. It discusses abilities required for ethical machine reasoning and the programming features that enable them. It connects ethics, psychological ethical processes, and machine implemented procedures. From a technical point of view, the book uses logic programming and evolutionary game theory to model and link the individual and collective moral realms. It also reports on the results of experiments performed using several model implementations. Opening specific and promising inroads into the terra incognita of (...) machine ethics, the authors define here new tools and describe a variety of program-tested moral applications and implemented systems. In addition, they provide alternative readings paths, allowing readers to best focus on their specific interests and to explore the concepts at different levels of detail. Mainly written for researchers in cognitive science, artificial intelligence, robotics, philosophy of technology and engineering of ethics, the book will also be of general interest to other academics, undergraduates in search of research topics, science journalists as well as science and society forums, legislators and military organizations concerned with machine ethics. (shrink)

We address the impingement of Artificial Intelligence (AI) on logic, by examining the requirements posed on logic by knowledge representation and reasoning issues which A I has addressed. We then outline some of AI's contributions, via Logic Programming, to more dynamic forms of logic, in order to deal with knowledge in flux, namely: incomplete and contradictory information; hypotheses making through abduction; argumentation; diagnosis and debugging; updating; and learning. Along the way we delve into implications for the philosophy of knowledge.

We address the impingement of Artificial Intelligence (AI) on logic, by examining the requirements posed on logic by knowledge representation and reasoning issues which A I has addressed. We then outline some of AI's contributions, via Logic Programming, to more dynamic forms of logic, in order to deal with knowledge in flux, namely: incomplete and contradictory information; hypotheses making through abduction; argumentation; diagnosis and debugging; updating; and learning. Along the way we delve into implications for the philosophy of knowledge.

ABSTRACT One major problem in the process of knowledge assimilation is how to deal with inconsistency of new knowledge and the existing knowledge base. In this paper we present a formal, provably correct and yet computational methodology for assimilation of new knowledge into knowledge bases about actions and changes based on the slogan: what is believed is what is explained. Technically, we employ Gelfond and Lifschitz' action description language A to describe domains of actions. The knowledge bases on domains of (...) actions are defined and obtained by a new translation from domain descriptions in A into abductive normal logic programs, where a time dimension is incorporated. The knowledge bases are shown to be both sound and complete with respect to their domain descriptions. In particular, we propose a possible causes approach (PCA) to knowledge assimilation about evolving domains of actions, in contrast to Ginsberg's possible worlds approach (PWA) and Winslett's possible models approach (PMA). A possible cause of new knowledge consists of abduced occurrences of actions and value propositions about the initial state of the domain of actions, that would allow to derive the new knowledge. We show how to compute possible causes with abductive logic programming, and present some techniques to improve search efficiency. We use examples to compare our possible causes approach with syntax-based approaches, such as Ginsberg's possible worlds approach, and semantics-based approaches, such as Winslett's possible models approach, to belief revision/update. (shrink)

In this essay we advance the view that analytical epistemology and artificial intelligence are complementary disciplines. Both fields study epistemic relations, but whereas artificial intelligence approaches this subject from the perspective of understanding formal and computational properties of frameworks purporting to model some epistemic relation or other, traditional epistemology approaches the subject from the perspective of understanding the properties of epistemic relations in terms of their conceptual properties. We argue that these two practices should not be conducted in isolation. We (...) illustrate this point by discussing how to represent a class of inference forms found in standard inferential statistics. This class of inference forms is interesting because its members share two properties that are common to epistemic relations, namely defeasibility and paraconsistency. Our modeling of standard inferential statistical arguments exploits results from both logical artificial intelligence and analytical epistemology. We remark how our approach to this modeling problem may be generalized to an interdisciplinary approach to the study of epistemic relation. (shrink)

Cultural aspects frame our perception of the world and direct the many different ways people interact with things in it. For this reason, these aspects should be considered when designing technology with the purpose to positively impact people in a community. In this paper, we revisit the foundations of culture aiming to bring this concept in dialogue with design. To inform design with cultural aspects, we model reality in three levels of formality: informal, formal, and technical, and subscribe to a (...) systemic vision that considers the technical solution as part of a more complex social system in which people live and interact. In this paper, we instantiate this theoretical and methodological view by presenting two case studies of technology design in which culture-based artefacts were employed to inform the design process. We claim that as important as including issues related to culture in the ICT design agenda—from the conception to the development, evaluation, and adoption of a technology—is the need to support the design process with adequate artefacts that help identifying cultural aspects within communities and translating them into sociotechnical requirements. We argue that a culturally informed perspective on design can go beyond an informative analysis, and can be integrated with the theoretical and methodological framework used to support design, throughout the entire design process. (shrink)

Source: "This book addresses the fundamentals of machine ethics. It discusses abilities required for ethical machine reasoning and the programming features that enable them. It connects ethics, psychological ethical processes, and machine implemented procedures. From a technical point of view, the book uses logic programming and evolutionary game theory to model and link the individual and collective moral realms. It also reports on the results of experiments performed using several model implementations. Opening specific and promising inroads into the terra incognita (...) of machine ethics, the authors define here new tools and describe a variety of program-tested moral applications and implemented systems. In addition, they provide alternative readings paths, allowing readers to best focus on their specific interests and to explore the concepts at different levels of detail. Mainly written for researchers in cognitive science, artificial intelligence, robotics, philosophy of technology and engineering of ethics, the book will also be of general interest to other academics, undergraduates in search of research topics, science journalists as well as science and society forums, legislators and military organizations concerned with machine ethics.". (shrink)

Table of Contents Foreword .................................................................................................... ......................................... xiv Preface .................................................................................................... .............................................. xv Acknowledgment .................................................................................................... .......................... xxiii Section 1 On the Cusp: Critical Appraisals of a Growing Dependency on Intelligent Machines Chapter 1 Algorithms versus Hive Minds and the Fate of Democracy ................................................................... 1 Rick Searle, IEET, USA Chapter 2 We Can Make Anything: Should We? .................................................................................................. 15 Chris Bateman, University of Bolton, UK Chapter 3 Grounding Machine Ethics within the Natural System ........................................................................ 30 Jared Gassen, JMG Advising, USA Nak Young Seong, Independent Scholar, South (...) Korea Section 2 From the Outside In: Intelligent Machine Technologies as a Window on Human Morality both as Evolved and as Evident in Internet Discourse, Today Chapter 4 The Emergence of Arti cial Autonomy: A View from the Foothills of a Challenging Climb ............. 51 Fernando da Costa Cardoso, Universidade Nova de Lisboa, Portugal Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal Chapter 5 Semantic Analysis of Bloggers Experiences as a Knowledge Source of Average Human Morality .... 73 Rafal Rzepka, Hokkaido University, Japan Kenji Araki, Hokkaido University, Japan Section 3 From the Inside Out: The Ethics of Human Enhancement from Moral Perception to Competition in the Workplace Chapter 6 Machine Ethics Interfaces: An Ethics of Perception of Nanocognition ............................................... 97 Melanie Swan, Kingston University, UK Chapter 7 Ethical Concerns in Human Enhancement: Advantages in Corporate/Organizational Settings ......... 124 Ben Tran, Alliant International University, USA Section 4 From Far to Near and Near to Far: The Ethics of Distancing Technologies in Education and Warfare Chapter 8 Responsibility and War Machines: Toward a Forward-Looking and Functional Account ................. 152 Jai Galliott, Macquarie University, Australia Chapter 9 Ethical Responsibilities of Preserving Academicians in an Age of Mechanized Learning: Balancing the Demands of Educating at Capacity and Preserving Human Interactivity ................... 166 James E. Willis III, Indiana University, USA Viktoria Alane Strunk, Independent Scholar, USA Section 5 Wrapping Things Up, then Unwrapping Them Again: Integral Visions of Morality in a Technological World, Over Evolutionary Time, with Revolutionary Means, and with Open Questions about the Final Purpose of It All Chapter 10 Bridging Two Realms of Machine Ethics ........................................................................................... 197 Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal Ari Saptawijaya, Universidade Nova de Lisboa, Portugal & Universitas Indonesia, Indonesia Chapter 11 Robots in Warfare and the Occultation of the Existential Nature of Violence ................................... 225 Rick Searle, IEET, USA Chapter 12 Self-Referential Complex Systems and Aristotle’s Four Causes ........................................................ 239 Aleksandar Malecic, University of Nis, Serbia Related References .................................................................................................... ........................ 261 Compilation of References .................................................................................................... ........... 292 About the Contributors .................................................................................................... ................ 325 Index .................................................................................................... ............................................... 329 . (shrink)

The impact of Cyberculture, of digital devices on young people as extensions of the body, can be seen in terms of the decreasing structuring of thoughts and information, increasing impulsivity in perception and action, and the development of more primitive defense mechanisms. These adverse impacts result in the feeling of isolation and devaluation, frustration of present and uncertainty of the future, exteriorization and floating identities, mimetic and adhesive identifications, less cohesion of the self, and decreasing tolerance of the other. This (...) paper focuses on the following themes: Symbiosis versus syncretism: The affirmations of symbiosis. The dilutions of syncretism. Synopsis: Too much syncretism, too little symbiosis. Lack of a deeper co-construction of knowledge, more lasting, and sustainable. Lack of increased more independent personal cognitive deepening. Lack of ability to be alone. Causality and free will: Symbiotic versus syncretic causality. Conclusions: Cyber-selfs—either distributed or not at all? (shrink)

Human beings have been aware of the risks associated with knowledge or its associated technologies since the dawn of time. Not just in Greek mythology, but in the founding myths of Judeo-Christian religions, there are signs and warnings against these dangers. Yet, such warnings and forebodings have never made as much sense as they do today. This stems from the emergence of machines capable of cognitive functions performed exclusively by humans until recently. Besides those technical problems associated with its design (...) and conceptualization, the cognitive revolution, brought about by the development of AI also gives rise to social and economic problems that directly impact humanity. Therefore, it is vital and urgent to examine AI from a moral point of view. The moral problems are two-fold: on the one hand, those associated with the type of society we wish to promote through automation, complexification and power of data processing available today; on the other, how to program decision-making machines according to moral principles acceptable to those humans who will share knowledge and action with them. (shrink)

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)

Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more compatible with externalist theories of justification than with internalist theories. But practically all discussions about naturalized epistemology are framed exclusively in terms of cognitive psychology, which is only one of the cognitive sciences. The question addressed in this essay is whether a commitment to naturalism really does favor externalism over internalism, and we offer reasons for (...) thinking that naturalism in epistemology is compatible with both internalist and externalist conceptions of justification. We also argue that there are some distinctively internalist aims that are currently being studied scientifically and these notions, and others, should be studied by scientific methods. (shrink)

This book explores the relationship between schizophrenia and common sense. It approaches this theme from a multidisciplinary perspective. Coverage features contributions from phenomenology, cognitive neuroscience, philosophy of mind, psychology, and social cognition. The contributors address the following questions: How relevant is the loss of common sense in schizophrenia? How can the study of schizophrenia contribute to the study of common sense? How to understand and explain this loss of common sense? They also consider: What is the relationship of practical reasoning (...) and logical formal reasoning with schizophrenia? What is the relationship between the person with a diagnosis of schizophrenia and social values? Chapters examine such issues as rationality, emotions, self, and delusion. In addition, one looks at brain structure and neurotransmission. Others explore phenomenological and Wittgensteinian theories. The book features papers from the Schizophrenia and Common Sense International Workshop, held at New University of Lisbon, November 2015. It offers new insights into this topic and will appeal to researchers, students, as well as interested general readers. (shrink)

This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.

Psychological experiments have shown that humans do not reason according to classical logic. Therefore, we might argue that logic-based approaches in general are not suitable for modeling human reasoning. Yet, we take a different view and are convinced that logic can help us as an underlying formalization of a cognitive theory, but claim rather that classical logic is not adequate for this purpose. In this chapter we investigate abduction and its link to human reasoning. In particular we discuss three different (...) variations we have explored and show how they can be adequately modeled within a novel computational and integrated, cognitive theory, the Weak Completion Semantics. (shrink)

Inhaltsverzeichnis/Table of Contents:IntroductionAntónio ZILHÃO: Folk-Psychology, Rationality and Human ActionJoão BRANQUINHO: The Problem of Cognitive DynamicsJ.P. MONTEIRO: Hume, Induction and Single ExperimentsMarco RUFFINO: The Primacy of Concepts and the Priority of Judgments in Frege's LogicJoão Vergílio Gallerani CUTER: Die unanwendbare Arithmetik des TractatusSílvio PINTO: Wittgenstein's Anti-PlatonismFernando FERREIRA: A Substitutional Framework for Arithmetical ValidityJ.R. CROCA & R.N. MOREIRA: Indeterminism Versus CausalismLuíz MONIZ PEREIRA: The Logical Impingement of Artifical Intelligence.

As the world faces increasingly disparate challenges, science is being subjected to vehement demands from society calling for transparency, openness and public participation in science policy. This book provides a framework and a vision on how to conceive, discuss and evaluate the changes that occur in the relationship between science and society.

Veloso-Pereira-Haeusler_On-what-there-must-be.

A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.

It is sometimes asserted that Philo of Alexandria is the creator of systematic theology – not because he created systematics , that is, a body of doctrine classified and integrated by a set of principles defined in philosophical terms, but because he created theology , that is, a mode of philosophizing which derives its main categories from a supernatural revelation. Such a mode was pursued by Philo's Christian disciples, among whom was Origen , one of the first of his faith (...) to attempt, unsuccessfully, to formulate a systematics. Not until John Damascene was the attempt realized, but only in part: for while Damascene does classify the doctrinal truths of the Christian faith in an orderly manner, and through the use of philosophically defined concepts, he does not seek to investigate their inner philosophical intelligibility and cohesiveness. Christian doctrine was too involved for being viewed comprehensively all at once, and while some theologians, like Dionysius and Maximus the Confessor , appear to have grasped its inner architectonics, they seem to have been unable to express it in a clear and structured literary form. (shrink)

ABSTRACT The law, serving as a codification of the commitments and values of “White space,” often treats love and justice as separable and separate values, experiences, and institutions. Black love, on the contrary, is bound up with and, even, identified with justice. This inextricability is painted masterfully in the interstices of Zora Neale Hurston's, Their Eyes Were Watching God. The story, widely framed as a woman's journey to autonomy and love, is just as much the story of her search for (...) justice. This article uses Hurston's narrative of love and justice, Paulo Freire's critical pedagogy of humanization, and law to illustrate the implications of Black love for engaging legal justice in White space. It concludes that liberation for Black people demands humanizing legal praxis. (shrink)